UK

Results: 509634



#Item
271Software engineering / Computing / Computer programming / Procedural programming languages / Programming languages / Logic in computer science / Programming language semantics / Abstract interpretation / Operational semantics / ALGOL 68 / Syntax / Programming language

NSADAbstract Domains for Type Juggling Vincenzo Arceri1 Department of Computer Science, University of Verona, Italy

Add to Reading List

Source URL: www.doc.ic.ac.uk

Language: English - Date: 2017-07-06 06:07:28
272Greek letters / Timed automaton / Symbol / Zeta

Expected Reachability-Time Games Vojtˇech Forejt1 , Marta Kwiatkowska2 , Gethin Norman3 , and Ashutosh Trivedi2 1 Faculty of Informatics, Masaryk University, Botanick´a 68a, Brno, Czech Republic Oxford University Compu

Add to Reading List

Source URL: qav.comlab.ox.ac.uk

Language: English - Date: 2010-06-15 16:26:37
273

Generating compact MTBDD-representations from Probmela specifications Frank Ciesinski1 , Christel Baier1 , Marcus Gr¨oßer1 , David Parker2 1

Add to Reading List

Source URL: qav.comlab.ox.ac.uk

Language: English - Date: 2008-05-28 08:04:09
    274Computing / Network architecture / Routing protocols / Internet architecture / Data transmission / Internet Standards / Internet protocols / Routing algorithms / Routing / Link-state routing protocol / IS-IS / Open Shortest Path First

    Central Control Over Distributed Routing http://fibbing.net Stefano Vissicchio∗, Olivier Tilmans∗, Laurent Vanbever†, Jennifer Rexford‡ ∗ ∗

    Add to Reading List

    Source URL: www0.cs.ucl.ac.uk

    Language: English - Date: 2016-11-17 12:53:02
    275Finite automata / Probability theory / Probability / Timed automaton / Markov processes / Probabilistic automaton / Markov decision process / Model checking / Automata theory / Probabilistic logic

    Chapter 8 T Verification of Real-time Probabilistic Systems

    Add to Reading List

    Source URL: qav.comlab.ox.ac.uk

    Language: English - Date: 2010-04-01 04:16:38
    276Human behavior / Human sexuality / Behavior / Harassment / Sex crimes / Sexual ethics / Abuse / Rape / Sexual harassment / Harassment in the United Kingdom / Stalking / Sexual assault

    TRINITY COLLEGE Policy and Procedure on Harassment Introduction 1. Trinity College does not tolerate any form of harassment or victimisation and expects all members of the College community, its visitors and contractors

    Add to Reading List

    Source URL: www.trinity.ox.ac.uk

    Language: English - Date: 2016-01-22 12:24:58
    277Concurrency control / Linearizability / Transaction processing / Model theory

    Introduction R/G Examples Brief history

    Add to Reading List

    Source URL: dream.inf.ed.ac.uk

    Language: English - Date: 2010-08-04 03:30:10
    278Economy / Business models / Cooperatives / Structure / Market socialism / Charity law / Industrial and provident society / The Co-operative Group / British co-operative movement / The Co-operative brand / Rochdale Principles / Housing cooperative

    social centres booklet-2.indd

    Add to Reading List

    Source URL: www.radicalroutes.org.uk

    Language: English - Date: 2017-02-28 18:06:11
    279Mathematical analysis / Mathematics / Experiment / Information theory / Statistical theory / Measure theory / Random variable / Statistical randomness / Sigma-algebra / Probability distribution / Joint probability distribution / Probability space

    Probabilistic Point-to-Point Information Leakage Tom Chothia∗ , Yusuke Kawamoto∗ , Chris Novakovic∗ and David Parker∗ ∗ School of Computer Science University of Birmingham, Birmingham, UK Abstract—The output

    Add to Reading List

    Source URL: www.cs.bham.ac.uk

    Language: English - Date: 2017-06-07 20:45:26
    280Archie / American comics / Fiction / Narratology

    NOTES FOR TEACHERS & LIBRARIANS The Chocolate Factory Ghost by David O’Connell and illustrated by Claire Powell is the perfect KS2 class reader for comedic adventure writing, magic and fantasy, aimed at children aged 7

    Add to Reading List

    Source URL: blog.whsmith.co.uk

    Language: English - Date: 2018-05-17 09:06:09
    UPDATE